fpf{-}add{-}single(${\it eq}$; $f$; $x$; $v$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}join(${\it eq}$;$f$;$x$ : $v$)